Integrating Database and Programming Language Constraints
نویسندگان
چکیده
We examine the maintenance of data consistency in the presence of application-database interactions. Currently, a programmer must insert explicit checks to ensure that data are consistent with respect to the application’s and the database’s requirements. This explicit handcoding of integrity constraint checks is error-prone and results in less maintainable code when the integrity constraints on the application or the database change. We describe an architecture for automatically generating application-level checks from application and database integrity constraint specifications. We focus on EJB-database interactions as a concrete context for our work, but our results are applicable to other programming language-database interactions.
منابع مشابه
Integrity Maintenance in an Object-Oriented Database
We present an approach for integrating inter-object constraint maintenance seamlessly into an object-oriented database system. We develop a constraint compilation scheme that accepts declarative global specification of constraints, including relational integrity, referential integrity, and uniqueness requirements, and generates an efficient representation that permits localized processing. We d...
متن کاملConceptual Modelling of Database Applications Using an Extended Er Model
In this paper, we motivate and present a data model for conceptual design of structural and behavioural aspects of databases. We follow an object centered design paradigm in the spirit of semantic data models. The speciication of structural aspects is divided into modelling of object structures and modelling of data types used for describing object properties. The speciication of object structu...
متن کاملIntegrating Deductive Databases
This paper presents a method for integrating deductive databases. In our approach deductive databases are expressed in a functional database programming language in which rules are expressed as derived functions. For integrating the extensional parts of deductive databases, we use a binary relational ER model with subtyping as the common data model and propose a semi-automatic method to perform...
متن کاملIntegrating Constraint Management and Concurrency Control in Distributed Databases
Chimera is a novel database language jointly designed by researchers at Politecnico di Milano, Bonn University, and ECRC of Munich in the context of the Esprit Project P6333, IDEA. Chimera integrates an object-oriented data model, a declarative query language based on deductive rules, and an active rule language for reactive processing. In this paper, we present the authors’ proposal for constr...
متن کاملA Symbolic Execution Algorithm for Constraint-Based Testing of Database Programs
In so-called constraint-based testing, symbolic execution is a common technique used as a part of the process to generate test data for imperative programs. Databases are ubiquitous in software and testing of programs manipulating databases is thus essential to enhance the reliability of software. This work proposes and evaluates experimentally a symbolic execution algorithm for constraint-base...
متن کامل